-
1 метод доказательства
1) Mathematics: method of proof, proof method, proof procedure, proof technique2) Information technology: validation procedure3) Advertising: proving method4) Makarov: validationУниверсальный русско-английский словарь > метод доказательства
-
2 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
3 основываться
be based, be based on• Все эти исследования основываются на одном и том же предположении. - All these studies rest on the same assumption.• Данная теория могла бы соответственно основываться на... - The theory could accordingly be based on...• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Данное приближение основывается на... - The approximation is based on...• Метод основывается на принципе, что... - This method is based on the principle that...• Наиболее широко используемые методы основываются на... - The techniques most widely used are based on...• Наше современное понимание... основано на... - Our present-day understanding of... is based on...• Первоначальная идея доказательства (3), принадлежащая К. Феферману, основывается на... - The original С. Feferman strategy for proving (3) is based on...• Первый анализ, который был проведен Смитом (1], основывался на... - The first analysis, by Smith [1], was based on...• Следовательно, данное обсуждение основывается на... - The discussion is therefore based on...• Смит [1] рекомендует, чтобы анализ основывался на... - Smith [1] recommends that the analysis be based on...• Эта эквивалентность основывается на... - This equivalence is based on...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это обсуждение основывается на идеях Кельвина [1]. - This discussion is based on that given by Kelvin [1].• Это решение основывается на предположении, что... - This solution is based on the assumption that...• Этот метод основывается на работе Смита [1], который... - This method is based on the work of Smith [lj, who... -
4 давать
yield, provideTerm-by-term differentiation yields the following equation --- Почленное дифференцирование дает следующее уравнение The theorem provides a new method for proving some fundamental facts about... --- Эта теорема дает новый метод доказательства некоторых фундаментальных фактов о...
Русско-английский словарь механических и общенаучных терминов > давать
-
5 весовой
1. gravimetric2. mass3. weight; balance; sold by weight4. weighing -
6 проверка
проверка сущsampling(напр. багажа) внерегламентная проверкаhaphazard inspectionвыборочная проверка1. bulk sampling2. spot check контрольный перечень проверок перед взлетомpretakeoff checklistлетная проверкаflight reviewмаркировка площадки проверкиcheckpoint markingместо предполетной проверкиpreflight check locationместо проверки билетовticket check areaметод проверки характеристикperfomance check methodназемная проверкаground checkобязательная проверкаmandatory checkперекрестная проверкаcrosscheckперечень обязательных проверок перед взлетомtakeoff check listпериодическая проверкаperiodic reviewплощадка для проверки высотомеров1. altimeter check location2. altimeter checkpoint полет для проверки летных характеристикperformance flightполная проверкаend-to-end checkпредполетная проверкаpreflight checkприбор для проверки кабины на герметичностьcabin tightness testing deviceприбор для проверки систем на герметичностьsystem leakage deviceпроверка в кабине экипажаcockpit checkпроверка в полетеflight checkпроверка в процессе облетаflyby checkпроверка времениtime checkпроверка готовности экипажа к полетуflight crew supervisionпроверка исправностиserviceability checkпроверка летной годностиairworthiness calibrationпроверка на герметичность1. pressurized leakage test2. leak test проверка на исполнительном стартеlineup inspectionпроверка обеспечения полетов на маршрутеroute-proving trialпроверка прилегания по краскеtransferred markingпроверка радиосвязиradio checkпроверка уровня квалификацииcompetency checkпроверка уровня подготовкиqualification trialпроверка уровня профессиональной подготовкиproficiency checkпроверка чувствительности к звуковому давлениюsound pressure sensitivity checkстенд для проверки пневмосистемыpneumatic test rigупрощенная система проверки пассажировpassenger bypass inspection system(перед вылетом) установка для проверки герметичности кабиныcabin leak test setустановка для проверки расходомеровflowmeter setустановка для проверки тахометровtachometer test setустройство для проверки торможенияbraking test deviceштуцер для проверки наддува на землеground pressurization connectionштуцер для проверки на землеground testing connectionэксплуатационная проверкаoperational check
См. также в других словарях:
Method of moments — may refer to: Method of moments (statistics), a method of parameter estimation in statistics Method of moments (probability theory), a way of proving convergence in distribution in probability theory Second moment method, a technique used in… … Wikipedia
Method of exhaustion — This article is about the method of finding the area of a shape using limits. For the method of proof, see Proof by exhaustion. The method of exhaustion (methodus exhaustionibus, or méthode des anciens) is a method of finding the area of a shape… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Method of moments (probability theory) — This article is about the method of moments in probability theory. See method of moments for other techniques bearing the same name. In probability theory, the method of moments is a way of proving convergence in distribution by proving… … Wikipedia
Method of moments (statistics) — See method of moments (probability theory) for an account of a technique for proving convergence in distribution. In statistics, the method of moments is a method of estimation of population parameters such as mean, variance, median, etc. (which… … Wikipedia
validation of ageing method — Proving an age reading method is accurate … Fisheries — dictionary
Wu's method of characteristic set — Wenjun Wu s method is an algorithm for solving multivariate polynomial equations introduced in the late 1970s by the Chinese mathematician Wen Tsun Wu. This method is based on the mathematical concept of characteristic set introduced in the late… … Wikipedia
Accounting method — In computational complexity theory, the accounting method is a method of amortized analysis based on accounting. The accounting method often gives a more intuitive account of the amortized cost of an operation than either aggregate analysis or… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Elliptic curve primality proving — (ECPP) is a method based on elliptic curves to prove the primality of a number. It is a general purpose algorithm, meaning it does not depend on the number being a special form. ECPP is currently in practice the fastest known algorithm for… … Wikipedia
Vienna Development Method — The Vienna Development Method (VDM) is one of the longest established Formal Methods for the development of computer based systems. Originating in work done at IBM s Vienna Laboratory [Some idea of that work, including a technical report TR… … Wikipedia
